((v1 v2 3) (v1 v3 3) (v1 v4 8) (v1 v5 0) (v1 v6 4) (v1 v7 6) (v1 v8 6))
13
((v8 v4) (v6 v3) (v6 v8) (v1 v6))